| |
|
|
 | Acesso ao texto completo restrito à biblioteca da Embrapa Agricultura Digital. Para informações adicionais entre em contato com cnptia.biblioteca@embrapa.br. |
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
03/11/2003 |
|
Data da última atualização: |
17/01/2020 |
|
Autoria: |
CHAIM, M. L.; MALDONADO, J. C.; JINO, M.; VILELA, P. |
|
Afiliação: |
MARCOS L. CHAIM, CNPTIA; JOSÉ C. MALDONADO, DCCE/ICMC/USP; MARIO JINO, DCA/FEEC/Unicamp; PLÍNIO VILELA, Marília Eunfpedes S. da Rocha Foundation. |
|
Título: |
Data-flow testing of programs with pointers and records: implementation, effectiveness, and cost. |
|
Ano de publicação: |
2002 |
|
Fonte/Imprenta: |
In: INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE, SOFTWARE ENGINEERING, INFORMATION TECHNOLOGY, E-BUSSINESS, AND APPLICATIONS, 2002, Foz do Iguazu. Proceedings. [S.l.]: International Association for Computer and Information Science, 2002. |
|
Páginas: |
p. 317-323. |
|
Idioma: |
Inglês |
|
Conteúdo: |
A conservative data-flow model for implementation of accurate coverage assessment of pointers and records in data-flow resting is described. To assess its cost and effectiveness, we evaluated the adequacy of tests with respect to two different data-flow testing criteria implemented using the conservative data-flow model for seven faulty versions of the Unix sort program. The seeded faults simulate the misure os pointers and individual fields of records. The effectiveness and size of these adequate test sets were compared against adequate test sets determined using the same criteria implemented with a data-flow model that do not treat pointers and records in any special way. Results of the comparison indicate that the effectiveness of the conservative data-flow models depends on the program and the fault(s) it contains. Moreover, there exist faults whose detection is facilitated by a more accurate data-flow analysis such as that proposed by the conservative data-flow model. For one of the testing criteria investigated, we also found that the extra cost of analysis and coverage measurement for pointers and records is reasonable. |
|
Palavras-Chave: |
Fluxo de dados; Teste de software. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 01881nam a2200181 a 4500
001 1008548
005 2020-01-17
008 2002 bl uuuu u00u1 u #d
100 1 $aCHAIM, M. L.
245 $aData-flow testing of programs with pointers and records$bimplementation, effectiveness, and cost.$h[electronic resource]
260 $aIn: INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE, SOFTWARE ENGINEERING, INFORMATION TECHNOLOGY, E-BUSSINESS, AND APPLICATIONS, 2002, Foz do Iguazu. Proceedings. [S.l.]: International Association for Computer and Information Science$c2002
300 $ap. 317-323.
520 $aA conservative data-flow model for implementation of accurate coverage assessment of pointers and records in data-flow resting is described. To assess its cost and effectiveness, we evaluated the adequacy of tests with respect to two different data-flow testing criteria implemented using the conservative data-flow model for seven faulty versions of the Unix sort program. The seeded faults simulate the misure os pointers and individual fields of records. The effectiveness and size of these adequate test sets were compared against adequate test sets determined using the same criteria implemented with a data-flow model that do not treat pointers and records in any special way. Results of the comparison indicate that the effectiveness of the conservative data-flow models depends on the program and the fault(s) it contains. Moreover, there exist faults whose detection is facilitated by a more accurate data-flow analysis such as that proposed by the conservative data-flow model. For one of the testing criteria investigated, we also found that the extra cost of analysis and coverage measurement for pointers and records is reasonable.
653 $aFluxo de dados
653 $aTeste de software
700 1 $aMALDONADO, J. C.
700 1 $aJINO, M.
700 1 $aVILELA, P.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
| Registros recuperados : 17 | |
| 1. |  | ALMEIDA, T. S. de; NALERIO, E. S.; MANERA, A. P.; SILVA, L. G. P.; SILVA, D. S. da. Avaliação sensorial de hambúrgueres ovinos desenvolvidos com a adição de coprodutos da olivicultura. In: SIMPÓSIO DE INICIAÇÃO CIENTÍFICA DA EMBRAPA PECUÁRIA SUL, 8., 2018, Bagé. Resumos... Bagé: Embrapa Pecuária Sul, 2018. p. 20. (Embrapa Pecuária Sul. Eventos técnicos & científicos, 1). Fernando Flores Cardoso, Daniel Portella Montardo, José Carlos Ferrugem Moraes, Marcos Flávio Silva Borba, Sandro da Silva Camargo, editores técnicos.| Tipo: Resumo em Anais de Congresso |
| Biblioteca(s): Embrapa Pecuária Sul. |
|    |
| 2. | | MEDEIROS, A. N.; ALVES, A. R.; ANDRADE, A. P.; FRIGHETTO, R. T. S.; SILVA, M. J. S.; SILVA, D. S. da. Effect of the concentrate supplementation on composition of the extrusa, feed intake, digestibility and N balance of goats grazing in Caatinga native vegetation. In: INTERNATIONAL MEETING OF ADVANCES IN ANIMAL SCIENCE, 1., 2016, Jaboticabal. Proceedings... Jaboticabal: Unesp, 2016.| Tipo: Resumo em Anais de Congresso |
| Biblioteca(s): Embrapa Meio Ambiente. |
| |
| 6. | | BERGIER, I.; GOULART, T.; FRANCO, E.; RECH, R.; SILVA, D. S. da; OLIVEIRA, G. S. de; ALVES, L. F.; MORAES, A.; KOSOSKI, A. R.; SANTOS, K.; BULLER, L. S.; ORTEGA, H.; FERNANDES, C.; SILVA, R.; SILVA, P.; GABAS, S. G.; LASTORIA, G.; MORAES, O.; RAMOS, F. M.; TOMICH, T. R. Fertirrigação e agricultura de baixa emissão de carbono: resultados do projeto CNPq/REPENSA em São Gabriel do Oeste. Corumbá: Embrapa Pantanal, 2012. 30 p. il. (Boletim de Pesquisa e Desenvolvimento, 116).| Tipo: Boletim de Pesquisa e Desenvolvimento |
| Biblioteca(s): Embrapa Pantanal. |
| |
| 7. | | SILVA, T. C. da; SANTOS, E. M.; AZEVEDO, J. A. G.; EDVAN, R. L.; PERAZZO, A. F.; PINHO, R. M. A.; RODRIGUES, J. A. S.; SILVA, D. S. da. Agronomic divergence of sorghum hybrids for silage yield in the semiarid region of Paraiba. Revista Brasileira de Zootecnia, Viçosa, v. 40, n. 9, p. 1886-1893, 2011.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: B - 1 |
| Biblioteca(s): Embrapa Milho e Sorgo. |
| |
| 8. | | DANTAS, F. R.; ARAUJO, G. G. L. de; SILVA, D. S. da; PEREIRA, L. G. R.; GONZAGA NETO, S.; TOSTO, M. L. Composição química e características fermentativas de silagens de maniçoba (Manihot sp.) com percentuais de co-produto de vitivinícolas desidratado. Revista Brasileira de Saúde e Produção Animal, Salvador, v. 9, n. 2 , p. 247-257, 2008.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: Nacional - A |
| Biblioteca(s): Embrapa Semiárido. |
|  |
| 10. | | BARROSO, D. D.; ARAUJO, G. G. L. de; SILVA, D. S. da; GONZAGA NETO, S.; MEDINA, F. T. Desempenho de ovinos terminados em confinamento com resíduo desidratado de vitivinícolas associado a diferentes fontes energéticas. Ciência Rural, Santa Maria, v. 36, n. 5, p. 1553-1557, set./out. 2006.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: Nacional - A |
| Biblioteca(s): Embrapa Semiárido. |
| |
| 13. | | SOUTO, J. C. R.; ARAUJO, G. G. L. de; SILVA, D. S. da; PORTO, E. R.; TURCO, S. H. N.; MEDEIROS, A. N. de. Desempenho produtivo de ovinos alimentados com dietas contendo níveis crescentes de feno de erva sal (Atriplex nummularia Lindl.). Revista Ciência Agronômica, Fortaleza, v. 36, n. 3, p. 376-381, 2005.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: Nacional - B |
| Biblioteca(s): Embrapa Semiárido. |
| |
| 14. | | SOUTO, J. C. R.; ARAUJO, G. G. L. de; MOREIRA, J. N.; SILVA, D. S. da; COSTA, R. G. da; PORTO, E. R. Consumo e digestibilidade aparente de nutrientes em dietas para ovinos, com diferentes níveis de feno de erva-sal (Atriplex nummularia Lindl.). Ciência Agronômica, Fortaleza, v. 35, n. 1, p. 116-122, jan./jun. 2004.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: Nacional - B |
| Biblioteca(s): Embrapa Semiárido. |
| |
| 15. | | SOUTO, J. C. R.; ARAUJO, G. G. L. de; SILVA, D. S. da; PORTO, E. R.; OLIVEIRA, C. A. V.; MEDEIROS, A. N. de; COSTA, R. G. da. Desempenho de ovinos alimentados com feno de erva sal (Atriplex nummularia Lindl.), no semi-árido nordestino. In: REUNIÃO ANUAL DA SOCIEDADE BRASILEIRA DE ZOOTECNIA, 39., 2002, Recife. Anais... Recife: SBZ/UFRPE, 2002. 1 CD-ROM.| Tipo: Artigo em Anais de Congresso |
| Biblioteca(s): Embrapa Semiárido. |
| |
| 16. | | ARAUJO, G. G. L. de; SOUTO, J. C. R.; SILVA, D. S. da; MOREIRA, J. N.; FERREIRA, M. de A.; OLIVEIRA, M. C. de; TURCO, S. H. N. Digestibilidade de nutrientes em ovinos alimentados com dietas contendo diferentes niveis de feno de erva sal (Atriplex nummularia Lindl.). In: REUNIAO ANUAL DA SOCIEDADE BRASILEIRA DE ZOOTECNIA, 38., 2001, Piracicaba. Anais... Piracicaba: FEALQ, 2001. p. 1079-1080.| Tipo: Resumo em Anais de Congresso |
| Biblioteca(s): Embrapa Semiárido. |
| |
| 17. | | SOUTO, J. C. R.; ARAUJO, G. G. L. de; SILVA, D. S. da; PORTO, E. R.; MOREIRA, J. N.; FERREIRA, M. de A.; TURCO, S. H. N. Feno de erva sal Atriplex nummularia Lindl.), uma alternativa alimentar para ovinos no semi-arido: consumo de nutrientes. In: REUNIAO ANUAL DA SOCIEDADE BRASILEIRA DE ZOOTECNIA, 38., 2001, Piracicaba. Anais... Piracicaba: FEALQ, 2001. p. 1003-1004.| Tipo: Artigo em Anais de Congresso |
| Biblioteca(s): Embrapa Semiárido. |
| |
| Registros recuperados : 17 | |
|
|
|
| Registros recuperados : 1 | |
| 1. | | 0901129, CULTURA AGRONOMICA, Universidade Estadual Paulista Júlio de Mesquita Filho, Faculdade de Engenharia de Ilha Solteira, Ilha Solteira, SP
Biblioteca(s): Catálogo Coletivo de Periódicos Embrapa; Embrapa Acre; Embrapa Agroindústria Tropical; Embrapa Agropecuária Oeste; Embrapa Amazônia Oriental; Embrapa Hortaliças; Embrapa Pantanal; Embrapa Semiárido; Embrapa Soja; Embrapa Solos. | |
| Registros recuperados : 1 | |
|
|
|
